семантика предпочтительного выбора — preference semantics
область семантики; раздел семантики — semantic domain
денотационная семантика — denotational semantics
ситуационная семантика — situational semantics
семантика наследования — inheritance semantics
Русско-английский большой базовый словарь. 2014.
семантика возможных миров — СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… … Энциклопедия эпистемологии и философии науки
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Список терминов, относящихся к алгоритмам и структурам данных — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не устанавливается на информационные списки и глоссарии … Википедия
Список терминов — Список терминов, относящихся к алгоритмам и структурам данных Это сл … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия
